]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8f96a6) | patch
main: Override focus-change-on-pointer-rest preference
authorFlorian Müllner <fmuellner@gnome.org>
Mon, 17 Sep 2012 21:11:57 +0000 (23:11 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 11 Oct 2012 14:30:33 +0000 (16:30 +0200)
commit3fdc8bfa3db8fd8bd32dff3e2ee4cad3427d6a74
tree50013515f3ec413997c7f9c3af8b2c2a3cc62c3dtree | snapshot
parente8f96a6e16266b3b57bf582e4049e9de44e48ea3commit | diff
main: Override focus-change-on-pointer-rest preference

The application menu is currently unusable with non-maximized
windows when using focus-follows-mouse mode. Override mutter's
focus-change-on-pointer-rest preference, so that the actual
focus change is delayed until the pointer stops moving.

https://bugzilla.gnome.org/show_bug.cgi?id=678169
data/org.gnome.shell.gschema.xml.in.in diff | blob | history
src/main.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.